Su búsqueda retornó 3 resultados. Suscribirse a esta búsqueda

¿No encontró lo que esperaba? Pruebe buscando sugerencias
De-resaltar Resaltar
|
No hay imagen de cubierta disponible
Formal methods at the crossroads : from panacea to foundational support : 10th anniversary colloquium of UNU/IIST, the International Institute for Software Technology of the United Nations University, Lisbon, Portugal, March 18-20, 2002 : revised papers Bernhard K. Aichernig, Tom Maibaum (eds.).

por Aichernig, Bernhard K, 1969- | Maibaum, Thomas S E, 1947- | International Institute for Software Technology.

Editor: Berlin ; Springer-Verlag, 2003Disponibilidad: Ítems disponibles para préstamo: Biblioteca Laura Manzo - Universidad Nacional de Quilmes (1). Ubicación(es): 005.1 FOR.
Listas:
Language engineering and rigorous software development : International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008 ; revised tutorial lectures Ana Bove ... [et al.] (eds.).

por LerNet ALFA Summer School Piriapolis, Uruguay) (2008 | Bove, Ana.

Editor: Berlin ; Springer, c2009Disponibilidad: Ítems disponibles para préstamo: Biblioteca Laura Manzo - Universidad Nacional de Quilmes (1). Ubicación(es): 005.13 LAN.
Listas:
Rewriting techniques and applications : 11th international conference, RTA 2000, Norwich, UK, July 10-12, 2000 : proceedings Leo Bachmair (ed.).

por Bachmair, Leo [ed.] | International Conference on Rewriting Techniques and Applications Norwich, England) 2000 : (11th.

Editor: Berlin ; Springer, c2000Disponibilidad: Ítems disponibles para préstamo: Biblioteca Laura Manzo - Universidad Nacional de Quilmes (1). Ubicación(es): 005.13 REW.
Listas:
Biblioteca Laura Manzo. Universidad Nacional de Quilmes.
Roque Sáenz Peña 352 Bernal - B1876BXD - Bs. As.
Tel:+ 54 11 4365-7130. biblioteca@unq.edu.ar
Horario de Atención: Lunes a viernes de: 8:30 a 21:30 hs. Sábados de 8:15 a 15 hs.

Con tecnología Koha